Should this be in the RDF 1.1 tests?

Should this be in the RDF 1.1 tests?

Good point; I believe they should. There is currently no rdf11/rdf-semantics directory; but I can set that up in this PR. Are there other tests that should be moved there? (Presumably in a separate PR.)

The float and double tests, at least.

Should this be in the RDF 1.1 tests?

Good point; I believe they should. There is currently no rdf11/rdf-semantics directory; but I can set that up in this PR. Are there other tests that should be moved there? (Presumably in a separate PR.)

In 1.1, it was rdf-mt, so rdf/rdf11/rdf-mt contains all the 1.1 semantics tests.

Should this be in the RDF 1.1 tests?

Good point; I believe they should. There is currently no rdf11/rdf-semantics directory; but I can set that up in this PR. Are there other tests that should be moved there? (Presumably in a separate PR.)

In 1.1, it was rdf-mt, so rdf/rdf11/rdf-mt contains all the 1.1 semantics tests.

Ah, of course; thanks! I'll move this there (unless I've missed such a case there...).

There are two manifests in rdf/rdf11/rdf-mt/. The README says:

The manifest.ttl file in this directory lists all of the approved tests in the
RDF WG's RDF Entailment test suite. The manifest-az.ttl file in this
directory lists proposed tests. Please try both sets of tests as
appropriate, as some of the proposed tests may become approved tests.

What does "approved" and "proposed" mean here? Where do I put this test?

It would be good to get to just a single manifest, and integrate any -az tests that are appropriate.

in the past, working groups marked approved vs proposed tests. My view now, is that the PR process satisfies this, and any tests added via a PR are effectively approved.

It would be good to get to just a single manifest, and integrate any -az tests that are appropriate.

Agreed - incorporate and rename. They are the product of the working group so take out and "-az" and become a name reflecting the test like the others.